algebraic semantics
英 [ˌældʒɪˈbreɪɪk sɪˈmæntɪks]
美 [ˌældʒɪˈbreɪɪk sɪˈmæntɪks]
网络 代数语义学
双语例句
- The significant algebraic laws are presented for the new operators with respect to the new semantics for its justification as well as for understanding.
并根据该语义，给出新引入组合操作子的重要代数规则，用于语义的理解和佐证。 - It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.
其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。 - Research on Algebraic Semantics of Message Sequence Charts
MSC代数语义研究 - Algebraic semantics and inheritance of an abstract class with trace
具迹抽象类型的代数语义与继承 - In this paper, we first described the late research situation of Object Oriented methodology and Algebraic specification and Temporal Logical in domestic and abroad, which shows the lack of the object formal semantics.
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状，分析了对象形式化语义研究的不足。 - The study has shown that the algebraic model of structure of temporal objects has more advantages over temporal relational models in complex structures and temporal semantics modeling.
研究表明，时态对象模型在复杂结构和时态语义建模方面比时态关系模型更具优势。 - Algebraic Semantics of Modeling Language AML
面向对象建模语言AML的代数语义 - Petri nets vs algebraic parallel semantics
Petri网和代数并发语义